1. Introduction to mathematics

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Metamathematics

رده :
QA
9
.
K65

2. Introduction to metamathematics

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Metamathematics

رده :
QA
9
.
8
.
K6

3. Introduction to metamathematics

پدیدآورنده :

موضوع : ، Metamathematics

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

4. Introduction to metamathematics

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Metamathematics,، Logic, Symbolic and mathematical

رده :
QA
9
.
8
.
K54
1971

5. Introduction to metamathematics /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logica matematica

6. Introduction to metamthematics

کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)

موضوع : Metamathematics

رده :
QA9
.
K55

7. Introduntion to metamthematics

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Metamathematics,Logie, Symbolic and mathematical

رده :
QA
9
.
K65

8. Logique mhathematique

پدیدآورنده :

کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع : Mathematics - Philosophy,Logic, symbolic and mathematical

رده :
511
.
3
K63

9. Mathematical logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : philosophy ، Mathematics,، Logic, Symbolic and mathematical

رده :
QA
9
.
K652

10. Mathematical logic

پدیدآورنده :

موضوع : ، Mathematics - Philosophy,، Logic, symbolic and mathematical

۴ نسخه از این کتاب در ۴ کتابخانه موجود است.

11. Mathematical logic

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Mathematics - Philosophy,، Logic, Symbolic and mathematical

رده :
QA
9
.
K652

12. Mathematical logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : MATHEMATICS-PHILOSOPHY , LOGIC SYMBOLIC & MATHEMATICAL

رده :
QA
9
.
K652

13. Mathematical logic

کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)

موضوع : Mathematics - Philosophy,Logic, Symbolic and mathematical

رده :
QA9
.
K652

14. Mathematical logic.

پدیدآورنده :

کتابخانه: كتابخانه دانشگاه مفيد (قم)

رده :
QA
9
.
K652
1968

15. Mathematical logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical

رده :
QA
8
.
K652

16. The Foundations of intuitionistic mathematics; especially in relation to recursive functions

پدیدآورنده :

کتابخانه: (خراسان الجنوبیة)

موضوع : ، Constructive mathematics,، Recursive functions

رده :
QA
9
.
K648

17. The Kleene Symposium : proceedings of the Symposium, held June 18-24, 1978 at Madison, Wisconsin, U.S.A

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Recursion theory,Congresses ، Intuitionistic mathematics,، Kleene, Stephen Cole, 9091-4991

رده :
QA
9
.
6
.
K53
1978

18. The foundations of intuitionistic mathematics, especially in relation to recursive functions

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Intuitionistic mathematics,، Recursive functions

رده :
QA
9
.
K648

19. The foundations of intuitionistic mathematics, especially in relation to recursive functions

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Mathematics,، Recursive functions

رده :
QA
248
.
5
.
K6

20. The foundations of intuitionistic mathematics, especially in relation to recursive functions

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Intuitionistic mathematics,، Recursive functions

رده :
QA
9
.
K648